Specifying Agents in Construct

Specifying the Software Project Risk Construct

This paper conceptualizes software project risk in terms of risk exposure and defines it as an aggregate multidimensional construct comprised of four interrelated dimensions: risk sources, risk events, risk management mechanisms, and expected outcomes. The paper also theorizes about relationships between the four dimensions. Furthermore, it argues that the risk factors identified in the literat...

Specifying and verifying holonic agents with GDT4MAS

Specifying and reasoning about uncertain agents

Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated reasoning techniques to be used on, and by, the agents themselves. The possible worlds semantics offered by modal logic has proved to be a successful framework in which to model mental attitudes of agents such as belie...

Specifying Rational Agents with Statecharts and Utility Functions

To aid the development of the robotic soccer simulation league team RoboLog-2000, a method for the specification of multi-agent teams by statecharts has been introduced. The results in the last years competitions showed that though the team was competitive, it did not behave adaptive in unknown situations. The design of adaptive agents with this method is possible, but not in a straightforward ...

From Full Autonomy to Manual Control Specifying Negotiating Agents

The C-IPS approach provides a way to structure negotiating agents at an abstract level that is above strategic and protocol-related aspects. The benefits to modelling and implementation of negotiating agents have been shown previously. Based on the modularisation imposed by the C-IPS approach we extend previously specified fully autonomous agents by a support for dynamic degrees of delegation. ...